منابع مشابه
Kickstarting Choreographic Programming
We present an overview of some recent efforts aimed at the development of Choreographic Programming, a programming paradigm for the production of concurrent software that is guaranteed to be correct by construction from global descriptions of communication behaviour.
متن کاملProcedural Choreographic Programming
Choreographic Programming is a paradigm for developing concurrent software that is correct by construction, by syntactically disallowing mismatched I/O operations in programs, called choreographies. Due to their benefits, choreographies have been largely adopted for the writing of business processes and communication protocols. However, current choreography language models cannot capture many k...
متن کاملChoreographic Three Bodies on the Lemniscate
Toshiaki Fujiwara†, Hiroshi Fukuda‡ and Hiroshi Ozaki¶ † Faculty of General Studies, Kitasato University, Kitasato 1-15-1, Sagamihara, Kanagawa 228-8555, Japan ‡ School of Administration and Informatics, University of Shizuoka, 52-1 Yada, Shizuoka 422-8526, Japan ¶ Department of Physics, Tokai University, 1117 Kitakaname, Hiratsuka, Kanagawa 259-1292, Japan E-mail: † [email protected]...
متن کاملReliability and Fault-Tolerance by Choreographic Design
Distributed programs are hard to get right because they are required to be open, scalable, long-running, and tolerant to faults. In particular, the recent approaches to distributed software based on (micro)services where different services are developed independently by disparate teams exacerbate the problem. In fact, services are meant to be composed together and run in open context where unpr...
متن کاملSymmetric Satellite Swarms and Choreographic Crystals.
In this Letter, we introduce a natural dynamical analogue of crystalline order, which we call choreographic order. In an ordinary (static) crystal, a high degree of symmetry may be achieved through a careful arrangement of the fundamental repeated elements. In the dynamical analogue, a high degree of symmetry may be achieved by having the fundamental elements perform a carefully choreographed d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Choreographic Practices
سال: 2011
ISSN: 2040-5669,2040-5677
DOI: 10.1386/chor.1.43_1